[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 157 120 99 0 86 0 329 0

N.S.

1 1.10 0.84 0.69 0.00 0.60 0.00 2.30 0.00

time (sec)

N/A 0.317 0.180 0.395 0.000 0.263 0.000 0.283 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 147 103 97 174 94 167 83 0

N.S.

1 1.30 0.91 0.86 1.54 0.83 1.48 0.73 0.00

time (sec)

N/A 0.283 0.250 0.379 0.286 0.351 1.166 0.290 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 246 147 141 246 139 427 132 0

N.S.

1 1.22 0.73 0.70 1.22 0.69 2.12 0.66 0.00

time (sec)

N/A 0.393 0.419 0.404 0.294 0.288 1.470 0.305 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 211 136 130 221 127 400 120 0

N.S.

1 1.23 0.79 0.76 1.28 0.74 2.33 0.70 0.00

time (sec)

N/A 0.337 0.369 0.355 0.300 0.296 1.375 0.311 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 176 125 119 198 117 371 107 0

N.S.

1 1.26 0.89 0.85 1.41 0.84 2.65 0.76 0.00

time (sec)

N/A 0.305 0.345 0.387 0.289 0.332 1.421 0.312 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 140 114 108 176 105 343 96 0

N.S.

1 1.21 0.98 0.93 1.52 0.91 2.96 0.83 0.00

time (sec)

N/A 0.245 0.319 0.393 0.312 0.318 1.416 0.285 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 107 111 94 109 95 313 80 0

N.S.

1 1.07 1.11 0.94 1.09 0.95 3.13 0.80 0.00

time (sec)

N/A 0.202 0.226 0.382 0.291 0.292 1.301 0.300 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 118 142 297 137 107 400 114 0

N.S.

1 1.04 1.26 2.63 1.21 0.95 3.54 1.01 0.00

time (sec)

N/A 0.277 0.351 0.436 0.280 0.262 5.771 0.314 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 140 164 145 123 389 177 0

N.S.

1 1.00 1.22 1.43 1.26 1.07 3.38 1.54 0.00

time (sec)

N/A 0.301 0.356 0.413 0.288 0.291 3.157 0.304 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 111 149 150 150 135 444 245 0

N.S.

1 0.92 1.23 1.24 1.24 1.12 3.67 2.02 0.00

time (sec)

N/A 0.290 0.362 0.411 0.283 0.276 3.856 0.295 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 118 146 136 144 130 457 284 0

N.S.

1 0.98 1.22 1.13 1.20 1.08 3.81 2.37 0.00

time (sec)

N/A 0.290 0.389 0.435 0.284 0.279 4.118 0.288 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 124 151 126 171 119 541 328 0

N.S.

1 1.04 1.27 1.06 1.44 1.00 4.55 2.76 0.00

time (sec)

N/A 0.292 0.324 0.458 0.273 0.271 5.160 0.296 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 113 122 107 153 97 774 388 0

N.S.

1 1.05 1.13 0.99 1.42 0.90 7.17 3.59 0.00

time (sec)

N/A 0.231 0.365 0.465 0.277 0.268 5.043 0.296 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 148 142 121 178 108 918 463 0

N.S.

1 1.03 0.99 0.85 1.24 0.76 6.42 3.24 0.00

time (sec)

N/A 0.267 0.358 0.542 0.284 0.311 9.032 0.294 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 183 153 132 203 119 1037 518 0

N.S.

1 1.06 0.89 0.77 1.18 0.69 6.03 3.01 0.00

time (sec)

N/A 0.317 0.415 0.572 0.280 0.277 9.722 0.291 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 218 164 143 228 130 1159 463 0

N.S.

1 1.08 0.82 0.71 1.13 0.65 5.77 2.30 0.00

time (sec)

N/A 0.349 0.398 0.632 0.287 0.303 26.641 0.300 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 36 37 25 28 31 29 19 20

N.S.

1 1.33 1.37 0.93 1.04 1.15 1.07 0.70 0.74

time (sec)

N/A 0.163 0.083 0.353 0.281 0.256 1.112 0.284 0.039

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 73 87 68 74 170 125 74

N.S.

1 1.00 1.43 1.71 1.33 1.45 3.33 2.45 1.45

time (sec)

N/A 0.224 0.134 0.371 0.275 0.271 2.683 0.289 0.050

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 153 100 120 113 112 0 108 0

N.S.

1 1.30 0.85 1.02 0.96 0.95 0.00 0.92 0.00

time (sec)

N/A 0.391 0.262 0.355 0.283 0.268 0.000 0.308 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 110 89 108 86 101 0 96 0

N.S.

1 1.21 0.98 1.19 0.95 1.11 0.00 1.05 0.00

time (sec)

N/A 0.298 0.249 0.417 0.292 0.263 0.000 0.287 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 81 74 97 63 85 0 83 0

N.S.

1 1.05 0.96 1.26 0.82 1.10 0.00 1.08 0.00

time (sec)

N/A 0.213 0.198 0.386 0.286 0.266 0.000 0.305 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 65 74 40 67 0 61 0

N.S.

1 1.00 1.25 1.42 0.77 1.29 0.00 1.17 0.00

time (sec)

N/A 0.190 0.159 0.397 0.282 0.262 0.000 0.296 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 29 30 35 0 41 29

N.S.

1 1.00 1.00 0.94 0.97 1.13 0.00 1.32 0.94

time (sec)

N/A 0.152 0.004 0.396 0.273 0.258 0.000 0.280 11.555

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 76 88 0 62 0 87 0

N.S.

1 1.00 1.41 1.63 0.00 1.15 0.00 1.61 0.00

time (sec)

N/A 0.200 0.176 0.398 0.000 0.268 0.000 0.290 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 85 88 108 0 88 0 177 0

N.S.

1 1.05 1.09 1.33 0.00 1.09 0.00 2.19 0.00

time (sec)

N/A 0.250 0.216 0.387 0.000 0.412 0.000 0.303 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 117 107 117 0 113 0 256 0

N.S.

1 1.04 0.95 1.04 0.00 1.00 0.00 2.27 0.00

time (sec)

N/A 0.356 0.236 0.414 0.000 0.257 0.000 0.292 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 163 120 202 151 190 0 0 0

N.S.

1 1.27 0.94 1.58 1.18 1.48 0.00 0.00 0.00

time (sec)

N/A 0.370 0.348 0.408 0.290 0.272 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 125 105 186 124 175 0 0 0

N.S.

1 1.11 0.93 1.65 1.10 1.55 0.00 0.00 0.00

time (sec)

N/A 0.262 0.312 0.408 0.291 0.261 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 95 92 204 99 157 0 0 0

N.S.

1 1.07 1.03 2.29 1.11 1.76 0.00 0.00 0.00

time (sec)

N/A 0.225 0.272 0.381 0.287 0.259 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 60 48 86 103 0 0 56

N.S.

1 1.00 1.00 0.80 1.43 1.72 0.00 0.00 0.93

time (sec)

N/A 0.180 0.215 0.376 0.203 0.259 0.000 0.000 12.312

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 52 56 44 67 101 0 0 52

N.S.

1 0.90 0.97 0.76 1.16 1.74 0.00 0.00 0.90

time (sec)

N/A 0.172 0.192 0.387 0.210 0.284 0.000 0.000 12.273

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 60 46 65 102 0 0 56

N.S.

1 1.00 1.03 0.79 1.12 1.76 0.00 0.00 0.97

time (sec)

N/A 0.164 0.221 0.379 0.200 0.336 0.000 0.000 11.693

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 93 106 171 0 155 0 0 0

N.S.

1 1.06 1.20 1.94 0.00 1.76 0.00 0.00 0.00

time (sec)

N/A 0.244 0.301 0.374 0.000 0.274 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 128 124 198 0 181 0 0 0

N.S.

1 1.07 1.03 1.65 0.00 1.51 0.00 0.00 0.00

time (sec)

N/A 0.282 0.308 0.400 0.000 0.298 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 164 138 206 0 201 0 0 0

N.S.

1 1.08 0.91 1.36 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 0.402 0.335 0.400 0.000 0.287 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 207 140 295 289 274 0 0 0

N.S.

1 1.28 0.86 1.82 1.78 1.69 0.00 0.00 0.00

time (sec)

N/A 0.521 0.553 0.444 0.297 0.324 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 172 130 281 259 258 0 0 0

N.S.

1 1.16 0.88 1.90 1.75 1.74 0.00 0.00 0.00

time (sec)

N/A 0.387 0.468 0.427 0.310 0.282 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 144 115 450 234 241 0 0 0

N.S.

1 1.18 0.94 3.69 1.92 1.98 0.00 0.00 0.00

time (sec)

N/A 0.340 0.417 0.392 0.320 0.337 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 92 82 70 134 168 0 0 78

N.S.

1 1.08 0.96 0.82 1.58 1.98 0.00 0.00 0.92

time (sec)

N/A 0.228 0.312 0.432 0.213 0.275 0.000 0.000 11.743

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 97 82 70 110 171 0 0 78

N.S.

1 1.07 0.90 0.77 1.21 1.88 0.00 0.00 0.86

time (sec)

N/A 0.224 0.280 0.379 0.204 0.279 0.000 0.000 12.042

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 98 82 70 110 170 0 0 78

N.S.

1 1.03 0.86 0.74 1.16 1.79 0.00 0.00 0.82

time (sec)

N/A 0.211 0.289 0.374 0.205 0.290 0.000 0.000 11.854

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 84 82 70 90 171 0 0 78

N.S.

1 0.99 0.96 0.82 1.06 2.01 0.00 0.00 0.92

time (sec)

N/A 0.195 0.277 0.372 0.203 0.306 0.000 0.000 11.794

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 90 82 70 85 168 0 0 78

N.S.

1 1.10 1.00 0.85 1.04 2.05 0.00 0.00 0.95

time (sec)

N/A 0.193 0.011 0.388 0.196 0.289 0.000 0.000 11.710

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 132 118 255 0 237 0 0 0

N.S.

1 1.11 0.99 2.14 0.00 1.99 0.00 0.00 0.00

time (sec)

N/A 0.294 0.468 0.379 0.000 0.303 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 163 145 291 0 265 0 0 0

N.S.

1 1.06 0.94 1.89 0.00 1.72 0.00 0.00 0.00

time (sec)

N/A 0.442 0.430 0.442 0.000 0.409 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 204 160 296 0 286 0 0 0

N.S.

1 1.10 0.86 1.59 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 0.581 0.452 0.415 0.000 0.369 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 239 171 312 0 297 0 0 0

N.S.

1 1.11 0.80 1.45 0.00 1.38 0.00 0.00 0.00

time (sec)

N/A 0.742 0.489 0.438 0.000 0.361 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 129 104 92 133 239 0 0 161

N.S.

1 1.09 0.88 0.78 1.13 2.03 0.00 0.00 1.36

time (sec)

N/A 0.236 0.374 0.378 0.228 0.318 0.000 0.000 11.923

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 130 104 92 133 238 0 0 161

N.S.

1 1.06 0.85 0.75 1.08 1.93 0.00 0.00 1.31

time (sec)

N/A 0.224 0.386 0.384 0.220 0.351 0.000 0.000 11.764

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 83 69 97 68 75 0 0 116

N.S.

1 1.26 1.05 1.47 1.03 1.14 0.00 0.00 1.76

time (sec)

N/A 0.266 0.188 0.367 0.291 0.276 0.000 0.000 0.067

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 59 59 84 52 66 0 70 84

N.S.

1 1.07 1.07 1.53 0.95 1.20 0.00 1.27 1.53

time (sec)

N/A 0.188 0.166 0.367 0.286 0.279 0.000 0.302 0.067

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 53 65 33 58 0 52 57

N.S.

1 1.00 1.56 1.91 0.97 1.71 0.00 1.53 1.68

time (sec)

N/A 0.164 0.116 0.349 0.285 0.254 0.000 0.318 11.445

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 22 23 28 0 34 23

N.S.

1 1.00 1.00 0.85 0.88 1.08 0.00 1.31 0.88

time (sec)

N/A 0.146 0.094 0.349 0.276 0.265 0.000 0.299 11.445

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 45 58 0 52 0 74 58

N.S.

1 1.00 1.10 1.41 0.00 1.27 0.00 1.80 1.41

time (sec)

N/A 0.186 0.118 0.357 0.000 0.246 0.000 0.296 11.467

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 62 57 73 0 76 0 0 81

N.S.

1 0.97 0.89 1.14 0.00 1.19 0.00 0.00 1.27

time (sec)

N/A 0.211 0.144 0.369 0.000 0.278 0.000 0.000 11.474

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 91 72 94 0 97 0 213 105

N.S.

1 1.01 0.80 1.04 0.00 1.08 0.00 2.37 1.17

time (sec)

N/A 0.311 0.173 0.407 0.000 0.255 0.000 0.291 11.438

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 281 155 141 299 138 299 344 0

N.S.

1 1.23 0.68 0.62 1.31 0.60 1.31 1.50 0.00

time (sec)

N/A 0.442 0.269 0.421 0.298 0.271 2.140 0.339 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 246 136 130 275 128 340 312 0

N.S.

1 1.23 0.68 0.65 1.38 0.64 1.70 1.56 0.00

time (sec)

N/A 0.400 0.400 0.402 0.299 0.364 2.025 0.340 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 209 133 119 251 116 255 280 0

N.S.

1 1.22 0.78 0.70 1.47 0.68 1.49 1.64 0.00

time (sec)

N/A 0.368 0.254 0.394 0.297 0.293 1.959 0.331 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 176 114 108 230 106 298 248 0

N.S.

1 1.24 0.80 0.76 1.62 0.75 2.10 1.75 0.00

time (sec)

N/A 0.331 0.332 0.384 0.289 0.288 1.894 0.330 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 141 111 97 167 94 216 216 0

N.S.

1 1.04 0.82 0.71 1.23 0.69 1.59 1.59 0.00

time (sec)

N/A 0.267 0.179 0.388 0.282 0.315 1.832 0.330 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 113 92 83 119 84 253 184 0

N.S.

1 1.05 0.85 0.77 1.10 0.78 2.34 1.70 0.00

time (sec)

N/A 0.212 0.281 0.399 0.285 0.285 1.656 0.319 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A C F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 97 125 544 116 95 270 0 0

N.S.

1 1.01 1.30 5.67 1.21 0.99 2.81 0.00 0.00

time (sec)

N/A 0.292 0.297 0.393 0.281 0.270 4.817 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 104 130 140 126 111 330 0 0

N.S.

1 0.99 1.24 1.33 1.20 1.06 3.14 0.00 0.00

time (sec)

N/A 0.290 0.282 0.428 0.273 0.289 3.483 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 106 124 116 123 119 347 0 0

N.S.

1 0.96 1.13 1.05 1.12 1.08 3.15 0.00 0.00

time (sec)

N/A 0.291 0.318 0.441 0.285 0.292 4.326 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 106 138 113 146 106 338 0 0

N.S.

1 1.04 1.35 1.11 1.43 1.04 3.31 0.00 0.00

time (sec)

N/A 0.298 0.289 0.465 0.284 0.286 3.925 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 111 114 96 130 86 422 246 0

N.S.

1 1.03 1.06 0.89 1.20 0.80 3.91 2.28 0.00

time (sec)

N/A 0.256 0.293 0.455 0.287 0.264 5.176 0.323 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 146 131 110 155 97 660 275 0

N.S.

1 1.04 0.94 0.79 1.11 0.69 4.71 1.96 0.00

time (sec)

N/A 0.296 0.268 0.542 0.276 0.256 4.879 0.329 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 181 123 121 180 108 808 304 0

N.S.

1 1.07 0.73 0.72 1.07 0.64 4.78 1.80 0.00

time (sec)

N/A 0.327 0.416 0.590 0.302 0.274 9.278 0.332 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 214 145 132 205 119 835 333 0

N.S.

1 1.08 0.73 0.67 1.04 0.60 4.22 1.68 0.00

time (sec)

N/A 0.381 0.371 0.707 0.296 0.333 8.258 0.346 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 143 104 363 170 171 0 0 0

N.S.

1 1.16 0.85 2.95 1.38 1.39 0.00 0.00 0.00

time (sec)

N/A 0.454 0.417 0.405 0.297 0.294 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 101 70 65 157 116 0 191 66

N.S.

1 1.02 0.71 0.66 1.59 1.17 0.00 1.93 0.67

time (sec)

N/A 0.350 0.308 0.388 0.235 0.284 0.000 0.328 11.482

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 94 70 65 136 118 0 191 66

N.S.

1 1.06 0.79 0.73 1.53 1.33 0.00 2.15 0.74

time (sec)

N/A 0.233 0.325 0.382 0.220 0.271 0.000 0.338 11.352

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 96 69 64 138 116 0 177 65

N.S.

1 1.05 0.76 0.70 1.52 1.27 0.00 1.95 0.71

time (sec)

N/A 0.203 0.327 0.378 0.211 0.272 0.000 0.305 11.808

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 99 70 66 136 115 0 193 66

N.S.

1 1.09 0.77 0.73 1.49 1.26 0.00 2.12 0.73

time (sec)

N/A 0.202 0.323 0.384 0.219 0.273 0.000 0.319 11.850

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 131 107 330 0 168 0 284 0

N.S.

1 1.11 0.91 2.80 0.00 1.42 0.00 2.41 0.00

time (sec)

N/A 0.304 0.470 0.412 0.000 0.259 0.000 0.322 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 166 135 244 0 194 0 324 0

N.S.

1 1.14 0.92 1.67 0.00 1.33 0.00 2.22 0.00

time (sec)

N/A 0.534 0.436 0.429 0.000 0.276 0.000 0.322 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 195 136 251 0 215 0 360 0

N.S.

1 1.07 0.74 1.37 0.00 1.17 0.00 1.97 0.00

time (sec)

N/A 0.704 0.486 0.449 0.000 0.274 0.000 0.348 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 206 112 199 185 190 0 233 0

N.S.

1 1.16 0.63 1.12 1.05 1.07 0.00 1.32 0.00

time (sec)

N/A 0.778 0.469 0.467 0.302 0.289 0.000 0.308 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 166 99 187 160 174 0 212 0

N.S.

1 1.14 0.68 1.28 1.10 1.19 0.00 1.45 0.00

time (sec)

N/A 0.593 0.392 0.459 0.294 0.300 0.000 0.308 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 138 87 319 136 157 0 185 0

N.S.

1 1.15 0.72 2.66 1.13 1.31 0.00 1.54 0.00

time (sec)

N/A 0.428 0.338 0.427 0.296 0.278 0.000 0.315 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 135 52 49 125 104 0 106 48

N.S.

1 1.42 0.55 0.52 1.32 1.09 0.00 1.12 0.51

time (sec)

N/A 0.259 0.288 0.398 0.292 0.256 0.000 0.325 11.686

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 105 49 46 129 100 0 137 45

N.S.

1 1.08 0.51 0.47 1.33 1.03 0.00 1.41 0.46

time (sec)

N/A 0.210 0.277 0.399 0.296 0.271 0.000 0.321 11.833

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 52 49 128 104 0 165 48

N.S.

1 1.08 0.52 0.49 1.28 1.04 0.00 1.65 0.48

time (sec)

N/A 0.206 0.007 0.409 0.287 0.277 0.000 0.310 11.829

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 125 99 332 0 153 0 212 0

N.S.

1 1.09 0.86 2.89 0.00 1.33 0.00 1.84 0.00

time (sec)

N/A 0.309 0.395 0.411 0.000 0.286 0.000 0.329 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 158 115 199 0 181 0 304 0

N.S.

1 1.08 0.79 1.36 0.00 1.24 0.00 2.08 0.00

time (sec)

N/A 0.541 0.458 0.443 0.000 0.260 0.000 0.311 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 202 130 205 0 202 0 382 0

N.S.

1 1.10 0.71 1.12 0.00 1.10 0.00 2.09 0.00

time (sec)

N/A 0.704 0.446 0.448 0.000 0.274 0.000 0.332 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 236 130 209 0 200 0 244 0

N.S.

1 1.16 0.64 1.02 0.00 0.98 0.00 1.20 0.00

time (sec)

N/A 0.955 0.411 0.445 0.000 0.284 0.000 0.327 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 197 112 199 0 190 0 233 0

N.S.

1 1.23 0.70 1.24 0.00 1.19 0.00 1.46 0.00

time (sec)

N/A 0.647 0.418 0.409 0.000 0.276 0.000 0.307 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 154 106 186 0 174 0 211 0

N.S.

1 1.04 0.72 1.26 0.00 1.18 0.00 1.43 0.00

time (sec)

N/A 0.428 0.365 0.430 0.000 0.290 0.000 0.311 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 87 268 0 157 0 186 0

N.S.

1 1.00 0.76 2.33 0.00 1.37 0.00 1.62 0.00

time (sec)

N/A 0.276 0.335 0.413 0.000 0.288 0.000 0.308 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 52 42 125 102 0 137 46

N.S.

1 1.00 0.81 0.66 1.95 1.59 0.00 2.14 0.72

time (sec)

N/A 0.182 0.248 0.409 0.189 0.273 0.000 0.299 11.793

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 51 43 123 104 0 165 47

N.S.

1 1.00 0.76 0.64 1.84 1.55 0.00 2.46 0.70

time (sec)

N/A 0.175 0.317 0.402 0.198 0.269 0.000 0.324 11.676

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 114 88 415 0 153 0 212 0

N.S.

1 1.04 0.80 3.77 0.00 1.39 0.00 1.93 0.00

time (sec)

N/A 0.381 0.477 0.445 0.000 0.266 0.000 0.301 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 155 115 199 0 181 0 304 0

N.S.

1 1.08 0.80 1.39 0.00 1.27 0.00 2.13 0.00

time (sec)

N/A 0.522 0.475 0.461 0.000 0.264 0.000 0.309 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 206 116 205 0 202 0 382 0

N.S.

1 1.13 0.63 1.12 0.00 1.10 0.00 2.09 0.00

time (sec)

N/A 0.712 0.500 0.447 0.000 0.309 0.000 0.311 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 235 141 216 0 213 0 444 0

N.S.

1 1.12 0.67 1.03 0.00 1.01 0.00 2.11 0.00

time (sec)

N/A 0.859 0.551 0.483 0.000 0.305 0.000 0.305 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 298 151 164 478 156 0 151 0

N.S.

1 1.18 0.60 0.65 1.90 0.62 0.00 0.60 0.00

time (sec)

N/A 1.057 0.352 0.464 0.289 0.279 0.000 0.312 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 266 132 153 456 146 0 140 0

N.S.

1 1.19 0.59 0.68 2.04 0.65 0.00 0.62 0.00

time (sec)

N/A 0.867 0.449 0.455 0.289 0.279 0.000 0.307 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 218 129 142 407 134 0 126 0

N.S.

1 1.14 0.67 0.74 2.12 0.70 0.00 0.66 0.00

time (sec)

N/A 0.683 0.319 0.462 0.289 0.263 0.000 0.328 0.000

[next] [prev] [prev-tail] [front] [up]